From 167c17c1ad740b35ed1c875b57817784655851d9 Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Mon, 4 Mar 2024 12:02:45 -0500 Subject: [PATCH] admin/syncdoc-type-hierarchy.el: Move from `etc` AFAICT `admin` is where we keep these kinds of files. --- {etc => admin}/syncdoc-type-hierarchy.el | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {etc => admin}/syncdoc-type-hierarchy.el (100%) diff --git a/etc/syncdoc-type-hierarchy.el b/admin/syncdoc-type-hierarchy.el similarity index 100% rename from etc/syncdoc-type-hierarchy.el rename to admin/syncdoc-type-hierarchy.el -- 2.30.2